2.6 Inductive and Deductive Logic